Asumu Takikawa - Towards Practical Gradual Typing - ECOOP 2015 ECOOP ! 30:01 8 years ago 293 Скачать Далее
Alexander J. Summers - Software Verification "Across the Stack" - ECOOP 2015 ECOOP ! 56:39 8 years ago 400 Скачать Далее
mypy Python's gradual typing implementation - Itzhak Kasovitch - Pycon Israel 2017 PyCon Israel 23:02 6 years ago 225 Скачать Далее
The Gradualizer: A Methodology and Algorithm for Generating Gradual Type Systems Ras Bodik 24:19 8 years ago 244 Скачать Далее
Maxime Chevalier-Boisvert - Simple and Effective Type Check Removal through Lazy Basic Block Version ECOOP ! 29:36 8 years ago 1 972 Скачать Далее
Bjarne Stroustrup - Object Oriented Programming without Inheritance - ECOOP 2015 ECOOP ! 1:00:33 8 years ago 41 060 Скачать Далее
Toward Efficient Gradual Typing for Structural Types by Deyaaeldeen Almahallawi NYC Haskell User's Group 1:03:09 Streamed 4 years ago 206 Скачать Далее